Sfoglia per Rivista LECTURE NOTES IN COMPUTER SCIENCE
Requirements Analysis in Tropos: a self referencing example
2003-01-01 Bresciani, Paolo; Sannicolò, Fabrizio
SAFARI: SMT-Based Abstraction for Arrays with Interpolants
2012-01-01 F., Alberti; R., Bruttomesso; S., Ghilardi; Ranise, Silvio; N., Sharygina
SAT-based Model-Checking of Security Protocols using Planning Graph Analysis
2003-01-01 Armando, Alessandro; Compagna, L.; Ganty, P.
SATMC: a SAT-based Model Checker for Security Protocols
2004-01-01 Armando, Alessandro; Compagna, L.
SATMC: a SAT-based Model Checker for Security-critical Systems
2014-01-01 Armando, Alessandro; Carbone, Roberto; Compagna, L.
Software Model Checking using Linear Constraints
2004-01-01 Armando, Alessandro; Castellini, C.; Mantovani, J.
The AVISS Security Protocol Analysis Tool
2002-01-01 Armando, Alessandro; Basin, D.; Boullagui, M.; Chevalier, Y.; Compagna, L.; Moedersheim, S.; Rusinowitch, M.; Turuani, M.; Viganò, L.; Vigneron, L.
The dissimilarity representation as a tool for three-way data classification: A 2D measure
2010-01-01 Porro Munoz, Diana; Duin, R. P. W.; Orozco Alzate, M.; Talavera, I.; London Bonilla, J. M.
The {SMT-LIB} Initiative and the Rise of {SMT} - {(HVC} 2010 Award Talk)
2011-01-01 Barrett, C.; de Moura, L.; Ranise, Silvio; Stump, A.; Tinelli, C.
Trust-aware Collaborative Filtering for Recommender Systems
2004-01-01 Massa, Paolo; Avesani, Paolo
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Requirements Analysis in Tropos: a self referencing example | 1-gen-2003 | Bresciani, Paolo; Sannicolò, Fabrizio | |
| SAFARI: SMT-Based Abstraction for Arrays with Interpolants | 1-gen-2012 | F., Alberti; R., Bruttomesso; S., Ghilardi; Ranise, Silvio; N., Sharygina | |
| SAT-based Model-Checking of Security Protocols using Planning Graph Analysis | 1-gen-2003 | Armando, Alessandro; Compagna, L.; Ganty, P. | |
| SATMC: a SAT-based Model Checker for Security Protocols | 1-gen-2004 | Armando, Alessandro; Compagna, L. | |
| SATMC: a SAT-based Model Checker for Security-critical Systems | 1-gen-2014 | Armando, Alessandro; Carbone, Roberto; Compagna, L. | |
| Software Model Checking using Linear Constraints | 1-gen-2004 | Armando, Alessandro; Castellini, C.; Mantovani, J. | |
| The AVISS Security Protocol Analysis Tool | 1-gen-2002 | Armando, Alessandro; Basin, D.; Boullagui, M.; Chevalier, Y.; Compagna, L.; Moedersheim, S.; Rusinowitch, M.; Turuani, M.; Viganò, L.; Vigneron, L. | |
| The dissimilarity representation as a tool for three-way data classification: A 2D measure | 1-gen-2010 | Porro Munoz, Diana; Duin, R. P. W.; Orozco Alzate, M.; Talavera, I.; London Bonilla, J. M. | |
| The {SMT-LIB} Initiative and the Rise of {SMT} - {(HVC} 2010 Award Talk) | 1-gen-2011 | Barrett, C.; de Moura, L.; Ranise, Silvio; Stump, A.; Tinelli, C. | |
| Trust-aware Collaborative Filtering for Recommender Systems | 1-gen-2004 | Massa, Paolo; Avesani, Paolo |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile